로컬 추론 (1)